Danish formelle metoder for asynkrone systemer: переклад на інші мови